optional or non-mandatory provision - Spanish English Dictionary